1. $i_{1}$ : $\mathbb{Z}$
\\[0ex]2. $i_{2}$ : $\mathbb{Z}$
\\[0ex]3. $j_{2}$ : $\mathbb{Z}$
\\[0ex]4. $i_{2}$ $\leq$ $j_{2}$
\\[0ex]$\vdash$  $\forall$$j_{1}$:$\mathbb{Z}$. ($i_{1}$ $\leq$ $j_{1}$) $\Rightarrow$ (($i_{1}$+$i_{2}$) $\leq$ ($j_{1}$+$j_{2}$))